Gödel's completeness theorem